منابع مشابه
Initial Semantics for Strengthened Signatures
We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by [12]: merging two extensions of syntax corresponds to building an amalgamated sum. These signatures are too general in the sense that we are not able to prove the existence of an associated syntax in this general context. So we have to s...
متن کاملEXOPLANET HD209458b (OSIRIS∗): EVAPORATION STRENGTHENED
Following re-analysis of Hubble Space Telescope observations of primary transits of the extrasolar planet HD209458b at Lyman α, Ben-Jaffel (2007, BJ007) claims that no sign of evaporation is observed. Here we show that, in fact, this new analysis is consistent with the one of Vidal-Madjar et al. (2003, VM003) and supports the detection of evaporation. The apparent disagreement is mainly due to ...
متن کاملStrengthened Security for Blind Signatures
Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. More recently, a new approach to achieve some kind of provable security was explored using the so-called “random oracle model”. Last year, Stern and the author studied the security of blind signatures in this model. We first defi...
متن کاملStrengthened Stone-weierstrass Type Theorem
The aim of the paper is to prove that if L is a linear subspace of the space C(K) of all real-valued continuous functions defined on a nonempty compact Hausdorff space K such that min(|f |, 1) ∈ L whenever f ∈ L, then for any nonzero g ∈ L̄ (where L̄ denotes the uniform closure of L in C(K)) and for any sequence (bn)n=1 of positive numbers satisfying the relation P∞ n=1 bn = ‖g‖ there exists a se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Morecambe Bay Medical Journal
سال: 2011
ISSN: 2634-0631,0957-5286
DOI: 10.48037/mbmj.v6i5.498